Советский философский словарь - гёдель курт
Связанные словари
Гёдель курт
гёдель курт
[28. 4. 1906, Брюнн (Брно) 14.1.1978, Принстон], австр. логик и математик. С 1940 в США. Осн. труды в области математич. логики а тео рии множеств. Важнейший результат, полученный Г. доказательство неполноты достаточно богатых формальных систем (в т. ч. арифметики натуральных чисел и аксиоматич. теории множеств). Г. показал, что в таких системах имеются истинные предложения, к-рые в их рамках недоказуемы и неопровержимы. В филос.-методологич. плане теорема Г. о неполноте означала утверждение принципиальной невозможности полной формализации науч. знания. Г. принадлежит ряд результатов в теории моделей, в области конструктивной логики и др. разделах математич. логики. В 30-х гг. филос. взгляды Г. были близки к неопозитивизму, впоследствии выступал с критикой субъективизма в филос. истолковании логики.
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 1738 | |
2 | 1418 | |
3 | 1217 | |
4 | 1149 | |
5 | 1137 | |
6 | 1101 | |
7 | 906 | |
8 | 835 | |
9 | 791 | |
10 | 758 | |
11 | 749 | |
12 | 733 | |
13 | 701 | |
14 | 701 | |
15 | 698 | |
16 | 683 | |
17 | 680 | |
18 | 655 | |
19 | 650 | |
20 | 631 |